141. Analysis of categorical data with R /
پدیدآورنده : Christopher R. Bilder, University of Nebraska-Lincoln, Lincoln, Nebraska, USA, Thomas M. Loughin, Simon Fraser University, Surrey, British Columbia, Canada
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics)-- Data processing,R (Computer program language)
رده :
QA169
.
B55
2015
142. Applications of continuous mathematics to computer science /
پدیدآورنده : by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
143. Applied Evolutionary Algorithms in Java
پدیدآورنده : by Robert Ghanea-Hercock.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Electronic data processing.
144. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
145. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
146. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Claes Johnson, Donald Estep.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
147. Applied Mathematics and Computational Mechanics for Smart Applications
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Mechatronics. ; Application software. ; Aerospace Technology and Astronautics. ; -Aerospace engineering. ; Astronautics. ; Mechanical engineering. ; Computer science
148. Applied and Computational Control, Signals, and Circuits
پدیدآورنده : edited by Biswa Nath Datta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Systems engineering.
149. Applied integer programming
پدیدآورنده : / Der-San Chen, Robert G. Batson, Yu Dang
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integer programming
رده :
T57
.
74
.
C454
2010
150. Applied physics, system science and computers II :
پدیدآورنده : Klimis Ntalianis, Anca Croitoru, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Physics, Congresses.,System theory, Congresses.,Biological and Medical Physics, Biophysics.,Electrical Engineering.,Engineering.,Mathematical Modeling and Industrial Mathematics.,Operating Procedures, Materials Treatment.,Biophysics.,Computer science.,Electrical engineering.,Mathematical modelling.,Physics.,Production engineering.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,System theory.
رده :
QC1
151. Approximation algorithms and semidefinite programmin
پدیدآورنده : / Bernd Geartner, Jierai Matouesek
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Approximation algorithms,Semidefinite programming,Mathematics,Information theory,Computer software,Computational complexity,Algorithms,Mathematical optimization,Applications of Mathematics,Theory of Computation,Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Optimization
رده :
QA76
.
9
.
A43G37
2012
152. Approximation algorithms and semidefinite programming
پدیدآورنده : Bernd Gärtner, Jiří Matoušek
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Approximation algorithms,Semidefinite programming
رده :
QA76
.
9
.
A43
G37
2012eb
153. Artificial intelligence :
پدیدآورنده : Zhi-Hua Zhou, Qiang Yang, Yang Gao, Yu Zheng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Discrete mathematics.
رده :
Q334
154. Artificial intelligence and machine learning fundamentals /
پدیدآورنده : Zsolt Nagy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Machine learning.,Neural networks (Computer science),Python (Computer program language),Artificial intelligence.,COMPUTERS / General.,Machine learning.,Neural networks (Computer science),Python (Computer program language)
رده :
Q325
.
5
155. Artificial neural networks in biological and environmental analysis
پدیدآورنده : / Grady Hanrahan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications
رده :
QH324
.
25
.
H36
2011
156. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
157. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
158. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
159. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
